Automated Proofs for Some Stirling Number Identities
نویسندگان
چکیده
منابع مشابه
Automated Proofs for Some Stirling Number Identities
We present computer-generated proofs of some summation identities for (q-)Stirling and (q-)Eulerian numbers that were obtained by combining a recent summation algorithm for Stirling number identities with a recurrence solver for difference fields.
متن کاملMultiple Stirling Number Identities
A remarkable multiple analogue of the Stirling numbers of the first and second kind was recently constructed by the author. Certain summation identities, and related properties of this family of multiple special numbers are investigated in the present paper.
متن کاملSummation algorithms for Stirling number identities
We consider a class of sequences defined by triangular recurrence equations. This class contains Stirling numbers and Eulerian numbers of both kinds, and hypergeometric multiples of those. We give a sufficient criterion for sums over such sequences to obey a recurrence equation, and present algorithms for computing such recurrence equations efficiently. Our algorithms can be used for verifying ...
متن کاملCombinatorial and Automated Proofs of Certain Identities
This paper focuses on two binomial identities. The proofs illustrate the power and elegance in enumerative/algebraic combinatorial arguments, modern machineassisted techniques of Wilf-Zeilberger and the classical tools of generatingfunctionology.
متن کاملSome Identities Relating to Eulerian Polynomials and Involving Stirling Numbers
In the paper, the authors establish two identities, which can be regarded as nonlinear differential equations, for the generating function of Eulerian polynomials, find two identities for the Stirling numbers of the second kind, and present two identities for Eulerian polynomials and higher order Eulerian polynomials, pose two open problems about summability of two finite sums involving the Sti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Electronic Journal of Combinatorics
سال: 2008
ISSN: 1077-8926
DOI: 10.37236/726